Para convertir un video a imagen tipo GIF lo podemos hacer con ffmpeg con el siguiente comando (de mp4 a gif):
ffmpeg -i input.mp4 -r 15 -vf scale=512:-1 output.gif
Donde:
NOTA: la conversión se puede hacer directamente sin necesidad de reescalar el tamaño y cambiar los frames, pero hay que tener en cuenta que el formato GIF no maneja compresión de video, por lo tanto el GIF resultante tendrá un tamaño gigantesco.
Si queremos podemos indicar un timestamp de inicio y de final en el comando:
ffmpeg -i input.mp4 -r 15 -vf scale=512:-1 -ss 00:00:15 -to 00:00:20 output.gif
FFMPEG | video | gif